Just better stringification, for viewing in shell_plus