Improved comments and minor corrections