oops, forgot to check in Optionset.php