fix tutorial files after solving pretty printing bug