Fixed small bug in updateDocs.exe, need to rebuild the main .exe at
some point