Minor fix to dot-dot fill in stuff
Fix a pretty-printing bug