add encoding; fixes #1