This is dead on correct - that batter should have been out on a called strike and never should have had a chance to get to first.