Fix for imenu being broken