#76: change port 90001 -> 9001

Resolves #76.