fixes #4727