!doc Fix a typo. Thanks @iraphael!