small changes to make Windows happy