another quick fix for numerals