Amend state machine description. Change strip to tstrip so it won't clash.