#97: fix port typo '9000' -> '9001'