Resolved issue #137.