tweaks to 2f2bbd09cc388ab40dc90c4273d70e61ad71047d
adjust the hole structs a little bit to get better printing at the REPL