Good tip from #bash on use of if (($#))