A few minor fixes.