[#59] Fixes to AuthenticatedSystem module