Minor switch to avoid menu duplication