fixed inconsistent ADT syntax