Cosmetic changes, correction to comment