Minor fix to the docs