minor comment