Fix phpdoc related to Bug: 12554