shouldn't 'case' be indented?