Fix for non-dynamic PROOF startup hangup

Problem was introduced in 00393a4. This is a quick fix that restores
previous state. A more complete solution is to be found.
PROOF: fixed reversed logic introduced in 175d234