win32: fix the build

A recent cleanup gone wrong,
https://bugzilla.gnome.org/show_bug.cgi?id=732454
doc: trivial fix