mandatory warning for the toplevel