Actually fix so that ci works