migration to hgdbmi package (not on Hackage yet)
minor stylistic fix
Merge branch 'hgdbmi'