fixed small compilation bug