fixes #4932