We define this, but it is never used. Why define it?