Nell'ultimo non servirebbe cmq e' buona norma usare il comando die(); dopo ogni header("Location:..."); cosi' sei assolutamente sicuro che l'esecuzione dello script cessa dopo il redirect.

Per cui abituati a mettere il die(); dopo ogni redirect.