fix stupid php error