Diplopia following head injury.