Fixed by check-in [7810393e98].