Fix port in solution

The problem asks for port 8000, so 8000 it shall be.