fixing whitespace blunder and removing a patch file that should never have
been added