Formatting/indentation change; removed comment which doesn't apply any more to this patch change