Small fixes to SymDRunner.