doc.implementation: texttt -> verb