Missed some <pre> tags in the documentation