Merge pull request #195 from kberg/415
authorDan Vanderkam <danvdk@gmail.com>
Fri, 4 Jan 2013 18:03:05 +0000 (10:03 -0800)
committerDan Vanderkam <danvdk@gmail.com>
Fri, 4 Jan 2013 18:03:05 +0000 (10:03 -0800)
Fix bug 415


Trivial merge