PH: Minor cosmetic changes