Minor JavaDoc edit