Fix minor breakage (pretty_print) resulting from Jesse's changes.