Rename the project (and fix some tests). Fix #1.