Fix an odd breakage in the bash extras