Tweak a la http://www.shellcheck.net/  Doubling seems to be always available, was it always that way?