fixing errors that I noticed during talk