deployment; fixes #12