added missing <pre> tag in code example