Minor fix

Comment did not play well with others...