Minore javadoc improvement for #475