fix formatting issues caught by Jeff in 298a39d0717c485cfa247e0733e2884c06d2e259