Fix some implementation paper typos