checkin karels changes (plus fix sleep -> tsleep)