Fix a typo in a phpDoc tag