removed the RandomSpec again