fix compilation bug