No need to use session_is_registered, per PKP fix 2c2a380d9babb84ef00f837dd09636b2b47fb06f