Updated finalizador.c comments