Bad varargs annotations