Examples: remove unused case in wiki example