fix a formatting nit.