Fixup documentation