Deleted - no longer needed.  See #7.