Minor fixes
Refined verbatim style