Fix description of PHP rule S139