fixes #4422