Minor changes on elementary transformations.