Minor fixes to the portal