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.