fixes #4764