+typo in let-c script +lightened test