Very minor fixes.