Hi again, I re-installed WP and restored a backup from earlier. It’s all working now. I think the role editor is not needed, I just added two roles, and they remain after removing the plug-in, so it probably won’t cause any more trouble.
Thansk a lot.