Replaced unicode 'times' character with lower-case x in two functions