Minor changes for PHP frontend