corrección de puntuación y detalles finitos