Very minor changes/fixes.