Added getLeaves().