Fixed an annoying bug in .bashrc_local