fixed minor bug to make windows happy