added missing </pre> tag in javadoc comment