Correccion de mas cosas del fichero del spec