Slight doc comment fix