More slight modifications, comments, and clean-up.