Fixed by #7189.