Patch for input.c