Remove obsolete function forgotten in d02a9dc