rygorous Fix up some formatting.