Some final changes for v1.3

Here are additional minor changes before the release, which should happen in three days.