Changed get_int_option to get_option