minor fixes

(pointed out by the static analyzer)