removed duplicate function format_option()