Yes, we should put that in the doc strings.