Fix matterhorn port #