Misc. fixes in #66