Typos and isri.cs.cmu.edu qr code