Even more JavaDoc fixes