Fix a docs build break introduced by rL236888.