Fixing PHP doc