A little optimization, simply because the Flash target's performance is currently unbearable.