Fix another doc comment