idet.sh: Fix a typo.