minor tweak to appease haddock
Merge pull request #2 from ranjitjhala/master

minor tweaks to appease haddock.