fix the php-markdown