put PHPDocs comment back the way it should be