fix compilation problem related to previous commit