#925 : deleting useless overflow