Is this the only place this is defined? How is that possible?