Change print.ml functions