Nevermind, see the above comment which removes this code altogether.