Changing server alias to 8000 since I use 8080 for too much other stuff