You're second guessing yourself which for most good umpires who care about the game is normal.
In the scenario you describe you could have waited a little longer to see if F4 could have made the play before killing play. Your ultimate decision was right and that is what matters most!