minor changes in case intro