Minor cosmetic corrections