fixes #4527