fix #6: better package name. Final commit.