Small fix for the PHP notice