fixes #5139