make allowance for $_SESSION too