Changed get_int_option to get_option from master to master