fixes #4047