A few minor clarifications to our Smart People Dumb Procedures episode