Fix a micro bug in a PHP custom snippet