fixes #4250