Doc and comment fix