Two more minor formatting nits