Thanks! Yeah, we realized the issue with the lava about 3 minutes before submission time, so we couldn't fix it :(
