Removed an obsolete function.