Fixing UAT properties