The attached patch fixes two typos.