removed unnecessary reference poking (cf. f45d332a90e3)
removed unnecessary reference poking (cf. f45d332a90e3)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle