fixing php style.