small updates
Translation Correctness example