(/=) prevent hypothetical NullPointerException