Fix small documentation bug