rm redundant empty line

a completely trivial patch to remove a completely redundant blank line.