removed a (now) useless function