fixes #4756