Correct a small typo #2

Merged
merged 1 commit into from Mar 27, 2012
Commits on Mar 27, 2012
  1. Correct a small typo

    jcamenisch committed Mar 27, 2012