fixed some trivial styling