Fixed issue #12.