Avoid a possible but harmless division by zero (in dev).

(This is in PISM.)