a few more corrections in the tok file