Minor JavaDoc improvement