Fixed verbatim formatting

Fixed the verbatim formatting in some places.