Never mind. It seems it was a browser (cache?) problem. Logging out and in again made them show up. It might perhaps be a
js problem, since moving filter up and down indicated that it worked, but nothing changed visuably.
Browser used was Firefox 3.0.15 on Mac OS X 10.5.8
PS: The problem only occurse every now and then
roy