fix out-of-date export comments