This comment isn't in the right place anymore, and doesn't quite sense if we keep the types.