Make /*-comments less bad