Fixes a PHP notice