this refers to version 1.3.5
a better fix would be to change line 95 on filters.php to:
if (arras_get_option('single_thumbs') && $lead ) {
instead of
if ($lead) {
this will make the code take into account the settings you specify on the theme options
