fixes #4960