minor changes to  auto.h