As a precaution (if we ever end up adding RTL-support), this should be set back to NULL in the destructor.)