Minor fixes for issues I noticed during the release.