Update specs and random generators