removed spurious $input-extension