Style corrections, comments