fixes #5322