Merge branch 'fixdom' of https://github.com/brk/hoopl into brk-fixdom
authorNing Wang <email@ningwang.org>
Sat, 11 Feb 2017 22:47:11 +0000 (14:47 -0800)
committerNing Wang <email@ningwang.org>
Sat, 11 Feb 2017 22:47:11 +0000 (14:47 -0800)

Trivial merge