Small change to make things compile under Windows