style(php) Minor stuff