very minor comment fix