Added a function to make gcc happy