Avoid Examples menu being duplicated