Tweak to the documentation to make port number for Redis more obvious