Tiny fix of the document