Small fix in comment