Remove unused function.  Fixes #739.