Fixing interface PHPDoc