Minor doc change only; closes #410.