I let Michael know. He usually gets these things fixed promptly.

Thanks, Gerry!