Small fix for shortened comments