add missing definition, needed by previous commit