minor changes

Signed-off-by: James Paton <paton@cs.wisc.edu>
ton@cs.wisc.edu>