Fix typo in .bashrc_local setup instructions