I don't think a lab leak needs to be connected in anyway with humans modifying the virus. It could easily been the case that these bats were studied in this lab without modification and a leak occurred.