On the pH, that's fine. Just so you know, always let the pH do what it wants, never add anything to target it (change it). It may probably lower in time, let it. You need to know how the water chemistry/biology will play out and this is nature and there is no point in not letting it do what it will. Adjusting water parameters like pH is very complicated because the GH and KH are part of the equation, along with other things like natural CO2, organics, etc.
Fish can be under stress without any external signs. These two obviously were, from their previous owner undoubtedly, and the move in itself is sever stress to any fish. This takes its toll, and weakens the fish so other issues are more likely to occur.