exp_intr.adb, [...]: Minor fix to error message text