Only used on phpdoc, can be removed ;)