Updating docs to match current implemention,

still incomplete, though.