cf discussion above; why do we need this?