fix a compilation bug