Fixed typo, added missing verbatim markers