Update lec 13 slides, for improvements to convert?.py