diff --git a/spot/parseaut/parseaut.yy b/spot/parseaut/parseaut.yy
index e7169972c..598f143ed 100644
--- a/spot/parseaut/parseaut.yy
+++ b/spot/parseaut/parseaut.yy
@@ -2481,7 +2481,7 @@ namespace spot
     if (r.h->aut && !r.h->aut->is_existential())
       r.h->aut->merge_univ_dests();
     return r.h;
-  };
+  }
 
   parsed_aut_ptr
   parse_aut(const std::string& filename, const bdd_dict_ptr& dict,
diff --git a/spot/parseaut/scanaut.ll b/spot/parseaut/scanaut.ll
index 1b7b58286..71db33836 100644
--- a/spot/parseaut/scanaut.ll
+++ b/spot/parseaut/scanaut.ll
@@ -1,5 +1,5 @@
 /* -*- coding: utf-8 -*-
-** Copyright (C) 2014, 2015, 2016 Laboratoire de Recherche et Développement
+** Copyright (C) 2014-2017 Laboratoire de Recherche et Développement
 ** de l'Epita (LRDE).
 **
 ** This file is part of Spot, a model checking library.
@@ -90,7 +90,7 @@ identifier  [[:alpha:]_][[:alnum:]_.-]*
 
 <INITIAL>[0-9]+[ \t][0-9]+[ts]?  {
 	                  BEGIN(in_LBTT_HEADER);
-			  char* end = 0;
+			  char* end = nullptr;
 			  errno = 0;
 			  unsigned long n = strtoul(yytext, &end, 10);
 			  yylval->num = n;