tree 771050e8b8dfece2e19d3d0d76db9292a233e65d
parent a0cf2f5c232ff6e9be9496f910369a980a7a2ad0
author Matt Post <post@cs.jhu.edu> 1452546276 -0500
committer Matt Post <post@cs.jhu.edu> 1452546276 -0500

clarified some text (should fix #5)