Removed unused argument to MAKE-GLOBAL-INPUT.