compilation bug-fix