syntax fix for gcc