fixed brackets
Added text about the erasure semantics.