change: e-mail from Michal 2013 7/4
(minor) unify EOL style, strip trailing spaces

My editor was autodetecting Win-style EOLs and inserting them,
although mostly the file seemed to contain UNIX-style EOLs.
All should be UNIX-style now.
fix abstract -- reference to the "gap in their proof"