Some tiny fixes.