Fixed by check-in [aeaee1f38512181e].