Resolved issue #142.