fixes typo and wrong handle of default number type;