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

fix inconsistencies