another autogenerated revision
slight <div> shuffling.