Thanks for the heads-up. Fixed, no CHANGES note.