More problem formatting fixes