more small corrections for Windows users