fixes #4289