Ah, thanks, yes, fixed.
May I encourage you to file such bug reports in the bug tracker?
General help
Erase groups when we erase users of the site...
This discussion has been locked so you can no longer reply to it.