[WIN32] fixed: use .empty() instead of .size() < 1 (grr)