Fix the docs test on 7.2