Fix 'pre' tag usage in docs.