just fixed some cosmetic mistakes