fix configuration type of options