Small changes to the portal that will be needed by the WAB extender