Fix problem with 'case'