Fix docs

Does this look right?