indentation before 'case'