minor changes, comment corrections