Resolved the bug described by #9.