fixed miscellaneous formatting issues