add a size getter