fixup! Bug #6564 (wrong argument)