scritta così va bene, devi solo stare attento a mettere l'header prima di qualsiasi forma di output [html, php o altro che sia], altrimenti ti dà errore.
Se invece devi metterlo per forza dopo l'output puoi mettere all'inizio della pagina un <? ob_start(); ?> [ vedi manuale ]; oppure puoi scegliere di utilizzare un meta html per il reindirizzamento.
come vedi le soluzioni non mancano![]()