fixes #4704