Small tweaks for the UserMgmt plugin