Minor correction to comment