Fix the window-numbering submodule