make sure that Setup is run