3.5.1: Header images always rotate in the same sequence... not great!

I tested 6 sec rotation with 2 sec fading. All pages initially load with the same image first, then rotation proceeds always in the same order. Switching to another page re-starts the sequence from the beginning. This is not a nice way to do this. Images should rotate at random.