eliminate extra blank line in verbatim blocks