fix for undefined identifier in repos