Rude bash'ism crept into common.sh