Minor JavaDoc enhancement