correction of overflow not required