A few tiny fixes.