Fix Windows build
Update documentation