  Given a smooth nonfocal compact Riemannian manifold, we show that the
so-called Ma--Trudinger--Wang condition implies the convexity of injectivity
domains. This improves a previous result by Loeper and Villani.
