ADT: correct typo in comment