another autogenerated revision
Slight reshuffle; typo fix.