small casting error