Bug fix, ref #8.