Fixes dericofilho/php.fmt#4