trivial: These are no longer needed - so can be deleted.