fixes #4732