fixes #4994