I think we are not. Leaving it there in case we discover that it was needed, but after some reading about the destructors I think it's better to explicitely call them.