Fixes #3417