Fix display of the missing session id note (I broke it with the previous commit).