fixup for issue #6