a few formatting fixes