safer to call autgen in case we change things later