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).