Use space after // and ///

This fixes #112, and it also puts spaces after regular comments. Some old code that had been commented out has been removed.
Can you please revert that? It is a real comment.