If we don't need this line, let's remove it. Also, let's move the Super case up the pattern list, say after Ident, to be consistent.