Wave: modified the real_positions example to use a new tokentype carrying both positions, the original and the corrected one.