Fix default port in docs

Fix #135.