Addition to Rev. 0.6: cosmetic changes.