Adds about about minimum port number. Fixes #820