Fixed critical bug in WITH-ENSURED-LOGIN