Fix 3 more typos in public headers.