Fixed bug in option_type