bug fix: AFA.equals()