fixes #5417