Use empty() instead of size()==0, size()<1#1032