Some small adjustments in comments