iss #5: use port 8001 by default