Minor JavaDoc fixes