simpler getter.