fixes #4426