Thank you for spotting that. It's now fixed.