fix small php error