Fixed by #8751.