Fix weird compilation issue