fixes #4657