Fix some verbatim markups

~ followed immediately by other non-whitespace chars makes verbatim
markups not correctly rendered.