some cosmetic corrections