Fix another example of contains-digits?