Fix mistake in .bashrc