A couple of very minor formatting changes (vanity tweaks!).