Fixup for #110