Fix issue #195

This remedies issue 195.