Extensive Form Games
I believe you are correct -- though I will say appealing to the one-shot deviation principle here seems a little overpowered. There are only three stages to this game so checking for all equilibria (and not just your conjectured one) in each proper subgame is doable. You do seem to be applying it correctly, however!