fixes #4655