fix Doublee32
fix syntax error