Fixing some PHP-Doc-Modded annoying behaviors