[galaxy-user] permanently delete problem

hi,   so i went to options-->saved history-->advanced-->deleted datasets.  then checked all of them, and then hit "permanently delete". but nothign happened.  they still show up as deleted, and they are taking up lots of my quota. how do i get rid of these? rich