We should pretty-print this, for sure.