Good point. It doesn't break anything, though (tested on win32 and win64).