De blessure die zwemster Ranomi Kromowidjojo tijdens de wereldkampioenschappen zwemmen in Shanghai heeft opgelopen, blijkt mee te vallen.