Small doc change
This shouldn't have been commented