updated version; fixes #12