Quick fix for PHP warning.