This commit removes double whitespace from source comments + fixes some other typos.