Fix issue with random specs