Fix doc with correct port