Cosas lindas de la vida.
Arreglado el EOF, los dos puntos seguidos.