fixing compilation bug