Portal: Portal Update

An update has been released for Portal - Minor code maintenance, no customer-facing changes.