scanf, fgets, fgetc пропускаются внутри цикла

Я пытаюсь сделать рекурсивное меню.

Эта программа позже будет работать с деревом (hojanodo), поэтому я слежу за корнем.

Проблема: по какой-то причине fgets/fgetc пропускается внутри рекурсивности при втором запуске, почему это происходит? Я хочу, чтобы пользователь вводил либо 1,2, либо 3. (целое число). Что можно исправить? и это лучший способ реализовать меню?

Вот что у меня есть прямо сейчас: (Он компилируется и запускается, поэтому вы можете протестировать его, но на самом деле он не работает так, как хотелось бы..)

    #include<stdio.h>
#include<stdlib.h>

typedef struct node{
  char ch;
  int i;
  struct node *left;
  struct node *right;
}hojaNodo;


int  handle_menu(int eventHandler, hojaNodo **root);
int opcion_menu();
char get_symbol();
int get_userMenuInput();
int intro();

int main(){

  hojaNodo *treeRoot = NULL;
  intro();
  // system("clear");
  handle_menu(opcion_menu(), &treeRoot);

  return 0;
}

int opcion_menu(){
  int userOption;   

  printf("1.Agrega un Simbolo.\n");
  printf("2.Listar Codigo\n");
  printf("3.Exit");

    userOption = get_userMenuInput();
    printf("User: %d",userOption);

  if(userOption < 4 && userOption > 0){
    return userOption;
  }
  else
    return -1;

}//eof opcion_menu

int handle_menu(int userOption,hojaNodo **root){
  hojaNodo *tempRoot = NULL;
  tempRoot = *root;
   int valor;
   char simbol;

  switch(userOption){
  case 1:

    simbol = get_symbol();
    printf("Simbol: %c", simbol);

    break;
  case 2:
     printf("List Nodes\n");
    break;
  case 3:
    printf("Exit");
    userOption = -1;
    // destroy_tree(root);
    break;
    default:
    printf("userOption Error, Bye!");
    break;
  }//eof switch
  if(userOption != -1)
  handle_menu(opcion_menu(),&tempRoot);
  // return userOption;
  return -1;
}//eof menu()



char get_symbol(){

    /*char userKey[3]
    fgets(userKey,len,stdin);*/
    char simbolo;
    printf("Give me a symbol.");
    simbolo = fgetc(stdin);
    return simbolo;
}

int get_userMenuInput(){

     char userKey[3];
     int userOption;
    size_t len;
     len = sizeof(userKey);
     fgets(userKey,len,stdin);
     userOption = atoi(userKey);
  //printf("User Option: %d\n", userOption);
  return userOption;
}