Terminal checkpoint - still worst terminal ever...