diff --git a/cbsoft2017/content/01-introduction.tex b/cbsoft2017/content/01-introduction.tex
index 69a6a37..72a4401 100644
--- a/cbsoft2017/content/01-introduction.tex
+++ b/cbsoft2017/content/01-introduction.tex
@@ -9,7 +9,7 @@ Público Brasileiro é considerado um bem público e o governo federal assume
 algumas responsabilidades relacionadas ao seu uso, mas tem os mesmos princípios
 de desenvolvimento de software livre, tal qual a tendência à descentralização
 na tomada de decisões, o compartilhamento de informações e do desenvolvimento
-(código), e a interação contínua com seus usuários.  Em 2007, o governo federal
+(código-fonte), e a interação contínua com seus usuários.  Em 2007, o governo federal
 lançou o Portal SPB com o objetivo de compartilhar projetos de software livre
 desenvolvidos pelo governo brasileiro.  Adicionalmente, a Instrução Normativa
 (IN 04/2012) determina que os agentes públicos devem priorizar as soluções
@@ -17,7 +17,7 @@ disponíveis no Portal SPB. Em suma, a aquisição de uma solução proprietári
 deve ser explicitamente justificada ao demonstrar que não há alternativa
 adequada no Portal SPB. 
 
-Entretanto, desde 2009, o Portal SPB teve vários problemas técnicas. O código
+Entretanto, desde 2009, o Portal SPB apresentou vários problemas técnicos. O código-fonte
 original da plataforma não estava mais sendo desenvolvido, e havia uma grande
 quantidade de dívidas técnicas para superar. Depois de alguns eventos e
 encontros para coletar os requisitos via os agentes do governo federal e da
@@ -29,7 +29,7 @@ para desenvolvimento de software colaborativo, e inclui funcionalidades para
 redes sociais, listas de discussão, sistema de controle de versão e
 monitoramento de qualidade de código-fonte. Para coordenar e desenvolver esse
 projeto durante 30 meses, a UnB recebeu do Governo Federal Brasileiro um total
-de 2.619.965,00 reais.
+de R\$ 2.619.965,00.
 
 O projeto foi desenvolvido por uma equipe de 3 professores, 2 estudantes de
 mestrado e cerca de 50 alunos de graduação (não todos ao mesmo tempo),
@@ -45,7 +45,7 @@ Nosso processo foi baseado em práticas ágeis e nos mecanismos empíricos das
 comunidades de software livre. Definimos ciclos de desenvolvimento e lançamos 5
 versões do novo Portal SPB. A primeira versão (beta) foi disponibilizada em
 setembro de 2014, apenas 9 meses desde o início do projeto. O antigo portal foi
-desligado em setembro de 2015. Por fim, a última versão foi entregue em junho
+desativado em setembro de 2015. Por fim, a última versão foi entregue em junho
 de 2016.
 
 Neste relato temos como agenda apresentarmos uma visão geral dessa nova geração
--
libgit2 0.21.2