Correct PHP-doc.