Fix annotations requried for PHPUnit