[ 2014-11-28, Jonathan improves wording ]
In the first set of edits to paragraph 3 both pieces inserting "rebind_alloc<U>::" should be replaced by "rebind_traits<U>::"
Otherwise it implies using the allocator's functions directly, but they might not exist and it should be through the rebound traits type.