fixup! Some docs