Fix for minor PHP notice.