corrected a typo and added more verbiage explaining the lease state diagram