Document github issue 14.