Fixes a bug in scripts/bashrc from Merge