Resolved issue #12.