Two minor fixes.