@sueloverso: another minor lint cleanup, we can lose some (admittedly, very unlikely) errors.