Minor JavaDoc changes