a little bug in size()