Fix gcc compiler error