BUGFIX: Define translation destructor.