Added a missing definition