Fixup to docs