enforce tokens=[..] attribute (old syntax may be dropped in future)