minor doc change, shorter header