Fix UtilSpec