correcting compilation bug