A tiny formatting cleanup