Merge pull request #182 from kberg/master
authorDan Vanderkam <danvdk@gmail.com>
Mon, 26 Nov 2012 21:41:50 +0000 (13:41 -0800)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 26 Nov 2012 21:41:50 +0000 (13:41 -0800)
Minor change based on danvk's comments in merge 181.


Trivial merge