patched a problem introduced fixing #2507