Extensive form: pareto inefficiency?
Thanks to denesp, I realised that I was only considering outcomes resulting from the following subgame:



If you consider all outcomes within the extensive form, then it is clear that $(2,6)$ pareto dominates $(0,5)$.