Small fixes in the PHP code