Minor PROOF cleanups