Another little fix in the documentation