[unrelated] Fixes to the manual QVTc to QVTi translation