fix documentation bug found by Mathieu Lemoine