Fixed typo. Added most of variable mention semantics.