Minor changes in verifyCTI (max laps=999) and something else that I don't
remember