fixes #5128