I'm not sure if this is an error or just a `print_warning` -- we don't really have a lot of hard rules about that though.