Try to handle verbatim sections better. Fixes #122