Minor fomat changes; current published version