Figured it out,
# The interrupt handler was invoked 13 times. Each letter press provokes an
# interrupt from the keyboard, which means 10 for the ten letters of the words
# and another 3 for the three carriage returns (pressing shift doesn't
# cause an interrupt).