Fixed by check-in [fb22170bc8].