Fixed a class name that caused a PHP fatal error.