Filled in some gaps in the README semantics