More fiddling with tiny formatting things.