fixed: PHP warning