cosmetics: formatting fixes