vector size() bug workaround