Needed for #6643.