Fixup for issue #74