Fix compile error. Minor doc change