Added __destruct()