Now exports ADT, minor syntax fix.