fix misc formatting