Cosmetics: remove pointless empty line.