Fun with PHPDoc