Fix Windows build and update doc.