Commit 3f033c55950f5ebdb00c6628eaff7583b50b90b3

Arthur Schreiber 2014-01-16T21:53:25

Revert a wrong doc change.