wrapping examples in <pre> tag for readability