aesthetic changes and minor corrections