What’s up with the ‘7’ on my coffee maker? All the other numbers are printed in Arial. This thing has been in my house for at least 10 years and I just noticed it today.