Shouldn't 523 in that list of "other numbers" actually be 522?

You're right