Minor PHP formatting improvements