Fixed by #6547.