tree a95ad4dadadb5939a64a2340839be0788f189cd2
parent 1ff5d8040a1e1422a62cfb6dbbb2b2484e82469b
author Andy Bavier <acb@cs.princeton.edu> 1457458516 -0700
committer Andy Bavier <acb@cs.princeton.edu> 1457458516 -0700

Minor fixes