Fix php error caused by code reformat