Adding 3 missing "@cover" phptag