fixes #4752