That's overkill, because `$#` is never the empty string.