lecture13: fix typos

btw: @line129: JIC оптимизации -> JIT оптимизации ?