fixed a few (hopefully final) formatting issues.