Some extra warnings in cudibundle