Fix destructor grammar

Reflect the correction of issue 9401.