fixes builtin option/help; #23