This should always already be defined, shouldn't it?