Minor fixes in interval definitionsn to prevent errors in Krawczyk