more formatting

proper php