Fix codechecker verif. Refs issue #8.