Minor JavaDoc improvements