A simple fix to the docs