Tiny doc comment fix