Oups, removed debugging code