fix overflow contraint