Repair specs and factories for Users