#76: use port 9001, instead of 90001 (not possible)

Resolves #76.