The original schematic was correct, other than the battery symbols, although I consider it to be a minor issue.
It's a major issue and the whole reason why this increasingly silly thread exists.
There are no negative voltage batteries whose positive terminal is marked negative and whose negative terminal is marked positive. Using such notation on paper is of course possible, but it only creates confusion, as observed here.
If you want to create negative voltage with batteries, flip the battery so that + goes to ground and either mark the battery simply "2.5V" (without minus) or mark the generated voltage rail (not the battery) "-2.5V".
The purpose of circuit simulators is simulating circuits, not being standards on what notation is good or bad. A circuit simulator may use the dumbest notation imaginable and still simulate correctly if you understand the notation and input the schematic in a manner which will be interpreted the way you want.