fixed a few cosmetic errors