Forgot to update address of meta-random in last commit