fix JavaDoc formatting

Fix issues in new JavaDoc pointed out by @kcooney.