Update on-api-correctness.md