Another tiny fix for portals