Minor javadoc update to match previous modifications.