fixes #4922