Updated port 8001 to 8000 for solutions

These solutions all listen on port 8001, but in reality that won't work.