something bugged out, reverting portal.php back to what it was to fix the problem until I can figure it out