Is this a "dummy definition"? Isn't it an error to encounter something like that?