fixes #4769