Plugins: Fix normalization of random numbers