Fix weird cs with phpDoc