compilation bug fixed