fixes #5553