@pvmuler Maybe try with some other editor just for this file and TaggingVariable.cc. Otherwise, I can also easily fix it.