fix php; adjust indentation