Fixed typo in generated validation code of numerical properties.