Bug 589: make random selection slightly more random. PHP's