Fix tests, proof
  Tim Van Steenburgh 2014-09-10 Fix tests, proof