.bashrc: fix a typo in the "server" function