Fix documentation after 85ec202