Fix the printing, fix #13