toplevel: fix dummies. sometimes they are used!!