Added note about bug fix for GitHub issue #16