fix minor issue due to stricter gcc template rules