Minor style changes; improving documentation.