Also fix text that mentions port 9001 instead of port 9000