Fix accidental docs change