Got rid of a stray comment mark.