Fixing typos on lab_23.html