Fix doc error. Contributions must be tested before being pushed.