Remove a now obsolete function...