Minor correction to comment block