fix header to make things compile