Tiny fix of the docs