some minor format fixes