Just delete this commented-out code (if we don't need it any more)