PHP - Download de un fichero del servidor

Hola a todos!!
Estoy intentando hacer un download de un fichero del servidor desde un cliente. Consigo hacerlo, pero tras guardarlo en el ordenador se me queda bloqueada la pagina. Tengo dos frames, y el frame izquierdo que contiene los menus ya no funciona. El codigo que utilizo para ahcer el download es:

$ElFichero=$HTTP_GET_VARS['fich'];

$TheFile = basename($ElFichero);
header( "Content-Type: application/octet-stream");
header( "Content-Length: ".filesize($ElFichero));
header( "Content-Disposition: attachment; filename=".$TheFile."");
readfile($ElFichero);

Alguna idea?Por cierto el menú me deja de funcionar si elijo la opción guardar, si elijo la opción abrir no.

Gracias