Sorry about that, I opened the file, made an unrelated change and now my editor refuses to let the file have this unnecessary empty whitespace back. Probably for the best anyway