Fix docs in previous commit