Minor changes in section Control Structure.