Fixes #3417

Please remove the empty line here.