This last getter doesn't appear to be used.