Fix bad Javadoc @value.