Little comment bug fix according to error report in phpDoc