Removed unnecessary pretty-print.