Fixed another error in ADT