fixed: useless generated cast removed