Hm, I think this is some old code from perhaps when autoderef wasn't working quite as well. I shall update.