Minor JavaDoc updates