Fix options.php error