fixes #5141