Fix the port number given. Listed 3000 though 4000 is used in the command on the previous line.

Closed username-removed-123742 requested to merge gsmethells/gitlab-development-kit:master into master

Fix an apparent typo.