Given a complex simple Lie algebra, Joseph has constructed a completely prime ideal in the universal enveloping algebra whose associated variety is the minimal non-zero nilpotent orbit. He also claimed that J is characterized by this property when the Lie algebra is not of type A. Unfortunately there is a gap in the proof. We shall describe a simple proof along different lines. (Joint work with G. Savin).