fix typeaux