Changes in version 0.7: An infinite loop that occurred when searching backwards has been fixed.