fixes #3417