fixes #4754