Fix some references in 09_use_cases.tex