A New Small Emendation of Gödel's Ontological Proof