Fix declaration of generated auxiliary datatype