Some more cosmetic errors