Fix javadoc error: self-closing tags.
Fix invalid use of half-diamonds.