fixes #4248