Add an empty line after this, as well as after line 1674.