miscellaneous formatting fixes