tree ffe711262628347101b72c179d9883cda0462d46
parent 3197dcc0bc07f728b1b505977815837cbcf50aa3
author Tony Mack <tmack@tux.cs.princeton.edu> 1419284444 -0500
committer Tony Mack <tmack@tux.cs.princeton.edu> 1419284444 -0500

fix inconsistencies