Fix documentation bug

Thanks to Arnaud Gaudinat who provided this fix via email.