fix casting error