Quick fix for PHP notice