Minor changes. Improved commenting.