a few last things, troubleshot a PHP error on prod