Minor cosmetic improvements.