Fixing a closing tag in the JavaDoc