TOOLS: idet: remove extra '$' in $(()) expansion