[Trivial] Empty line at the end of file.