Yes, thanks for pointing out this mistake. Fixed by the latest check-in.