Corrected definition of `ival'`