php small fix