I didn't make myself clear. I agree with your pull request as a whole. But I think it could be improved by removing lines 1331-1333 and instead make sure the portal root's getDefaultPage method will look at portal.getProperty('default_page', '')