Making gcc happy