fixup! Bug #5741 (additional correction)