More JavaDoc fixes