Ocular myotonic phenomenon in myotonic dystrophy.