Fix proof
  Tim Van Steenburgh 2014-09-10 Fix proof errors