Actor name used everywhere; bugfixes to random number generator