remove double case

There is no reason for the second case directive, or at least I do not see it :)