Minor updates to week 9.