Minor aesthetic fixes.