Checkout
rjung
committed
on 11 Aug 12
Fix typo/syntax error in docs.