php indentation fix