Minor reindenting.