fixes #5425