Fix minor typos/bugs in RFC023