Doh! Thanks for spotting that ;-) PR updated - will sync soon, I expect.