Normalizing var-names. Slight rewording in Procedure.
Fixing the rest of the syntax errors.