minor comment corrections