Fix a bug in the devec codes.