Removed some <pre> tags left after conversion from Textile