Fixed by check-in [c66ffba6da].