idx refresh
fixes #14. fixes #15.