fixing bugs from upgrading verepo