Some minor changes to Portal and Level2State (whitespaces and the end
timer for Portal).