Minor correction to comments