Remove (hopefully) obsolete function.