A couple of minor touchups to the code examples