Added a verbatim example.