fixup for #243