Commentary additions and minor stylistic changes