Small doc fix

Just fixed a little bug in the docs.