debugging wafom: wrong wafom value