fixes #4656