I assume the `FlxRandom` demo will need to be updated for this change?