Minor javadoc improvement for @JsonTypeInfo