Correcao do wdev-datatypes