two new static analyses; untested
fix compile error