Admin updates

This is a minor release, with updates mainly involving the admin part.
If you want to see actual changes:
v2.1.2...v2.1.3

Only one user-side change, following a PR by @bdalena: #65