more static analysis...