a few cosmetic corrections