Fixing up phpDoc error