fixes #5712