change margins for pretty as well

this is a fix for change in 81bab06cb9ce07608d8840.