Minor doc change: Fixes #12