typos and verbatim