doc: Fix spacing in verbatim environments